home *** CD-ROM | disk | FTP | other *** search
Makefile | 1990-04-27 | 355 b | 15 lines |
- # RCSid[] = "@(#)$Header: Makefile,v 3.1 86/12/24 10:09:14 pb Rel $"
- #
- # This is just enough to generate the real makefile
- #
- MAKE=make
-
- AnyKey: Configure makefile.SH
- sh Configure quick
- touch config.sh
- @echo " "
- @if [ -r makefile ]; \
- then echo now doing the real make ...; echo " "; $(MAKE) $(MFLAGS); \
- else echo now do the real make ..... ; \
- fi
-